Published in: LIPIcs, Volume 268, 14th International Conference on Interactive Theorem Proving (ITP 2023)
Jarl G. Taxerås Flaten. Formalising Yoneda Ext in Univalent Foundations. In 14th International Conference on Interactive Theorem Proving (ITP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 268, pp. 16:1-16:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{flaten:LIPIcs.ITP.2023.16, author = {Flaten, Jarl G. Taxer\r{a}s}, title = {{Formalising Yoneda Ext in Univalent Foundations}}, booktitle = {14th International Conference on Interactive Theorem Proving (ITP 2023)}, pages = {16:1--16:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-284-6}, ISSN = {1868-8969}, year = {2023}, volume = {268}, editor = {Naumowicz, Adam and Thiemann, Ren\'{e}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2023.16}, URN = {urn:nbn:de:0030-drops-183911}, doi = {10.4230/LIPIcs.ITP.2023.16}, annote = {Keywords: homotopy type theory, homological algebra, Yoneda Ext, formalisation, Coq} }
Feedback for Dagstuhl Publishing